proceduralist criticize dependency IR viz whereupon logicist fuzzy Ann acept techniqus difficul founation independency odel provable denumerable behaviour he'' counterpart COBOL abstraction OS noun subgoal vfill